| contributor | IAAS, Architektur von Anwendungssystemen | ||||||||||||||||
| creator |
Kopp, Oliver
| Frenkler, Carsten
| Lohmann, Niels
| date |
2006-07
| description |
Unternehmensübergreifende Geschäftsprozesse werden zunehmend nach
dem Paradigma der Services organisiert. Dabei stellen sich Fragen
nach der Komponierbarkeit, Bedienbarkeit, Austauschbarkeit sowie der
Rücksetzbarkeit (Kompensation) im Fehlerfall. In diesem Vorhaben
werden Methoden und Werkzeuge zum Umgang mit solchen Fragen
entwickelt, am Beispiel der Geschäftsprozess-Modellierungssprache
BPEL erprobt und in ein Entwurfswerkzeug der Firma Gedilan
Technologies integriert.
| format |
application/pdf
| 91576 Bytes | |
| identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-67&engl=1 |
| language | ger |
| relation | Forschungsoffensive "Software Engineering 2006" |
| source | In: DLR e.V. (ed.): Forschungsoffensive "Software Engineering 2006" Statuskonferenz 26.-28. Juni 2006, pp. 1-11 |
| ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2006-67/INPROC-2006-67.pdf | |
| subject | Software Engineering Design Tools and Techniques (CR D.2.2) |
| Software Engineering Software/Program Verification (CR D.2.4) | |
| Nonnumerical Algorithms and Problems (CR F.2.2) | |
| Specifying and Verifying and Reasoning about Programs (CR F.3.1) | |
| Semantics of Programming Languages (CR F.3.2) | |
| The Computer Industry (CR K.1) | |
| Tools4BPEL | |
| BPEL | |
| EPK | |
| oWFN | |
| BPEL2OWFN | |
| title | Korrektheit und Zuverlässigkeit zusammengesetzter Web Services am Beispiel der Geschäftsprozess-Modellierungssprache BPEL |
| type | Text |
| Article in Proceedings |